Weakly complete axiomatization of exogenous quantum propositional logicMATEUS, P; SERNADAS, A.Information and computation (Print). 2006, Vol 204, Num 5, pp 771-794, issn 0890-5401, 24 p.Article

Specification and verification of database dynamicsFIADEIRO, J; SERNADAS, A.Acta informatica. 1988, Vol 25, Num 6, pp 625-661, issn 0001-5903Article

algebraic implementation of objects over objectsEHRICH, H.-D; SERNADAS, A.Lecture notes in computer science. 1990, Vol 430, pp 239-266, issn 0302-9743, 28 p.Conference Paper

The INFOLOG linear tense propositional logic of events and transactionsFIADEIRO, J; SERNADAS, A.Information systems (Oxford). 1986, Vol 11, Num 1, pp 61-85, issn 0306-4379Article

Object inheritance beyond subtypingCOSTA, J. F; SERNADAS, A; SERNADAS, C et al.Acta informatica. 1994, Vol 31, Num 1, pp 5-26, issn 0001-5903Article

A temporal logic approach to object certificationSERNADAS, A; SERNADAS, C; RAMOS, J et al.Data & knowledge engineering. 1996, Vol 19, Num 3, pp 267-294, issn 0169-023XArticle

The situation and state calculus versus branching temporal logicRAMOS, J; SERNADAS, A.Lecture notes in computer science. 1999, pp 293-309, issn 0302-9743, isbn 3-540-66246-4Conference Paper

Parameterisation of logicsCALEIRO, C; SERNADAS, C; SERNADAS, A et al.Lecture notes in computer science. 1999, pp 48-62, issn 0302-9743, isbn 3-540-66246-4Conference Paper

Reasoning about probabilistic sequential programsCHADHA, R; CRUZ-FILIPE, L; MATEUS, P et al.Theoretical computer science. 2007, Vol 379, Num 1-2, pp 142-165, issn 0304-3975, 24 p.Article

A linear temporal logic approach to objects with transactionsDENKER, G; RAMOS, J; CALEIRO, C et al.Lecture notes in computer science. 1997, pp 170-184, issn 0302-9743, isbn 3-540-63888-1Conference Paper

Categorical foundations for randomly timed automataMATEUS, P; MORAIS, M; NUNES, C et al.Theoretical computer science. 2003, Vol 308, Num 1-3, pp 393-427, issn 0304-3975, 35 p.Article

Reasoning about states of probabilistic sequential programsCHADHA, R; MATEUS, P; SERNADAS, A et al.Lecture notes in computer science. 2006, pp 240-255, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 16 p.Conference Paper

Combining logics: Parchments revisitedCALEIRO, C; MATEUS, P; RAMOS, J et al.Lecture notes in computer science. 2002, pp 48-70, issn 0302-9743, isbn 3-540-43159-4Conference Paper